- algebraic recursion theory
- 代数递归理论
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
algebraic recursion theory
Look at other dictionaries:
Algebraic data type — In computer programming, particularly functional programming and type theory, an algebraic data type (sometimes also called a variant type[1]) is a datatype each of whose values is data from other datatypes wrapped in one of the constructors of… … Wikipedia
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia
Small cancellation theory — In the mathematical subject of group theory, small cancellation theory studies groups given by group presentations satisfying small cancellation conditions, that is where defining relations have small overlaps with each other. It turns out that… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Partition (number theory) — Young diagrams associated to the partitions of the positive integers 1 through 8. They are so arranged that images under the reflection about the main diagonal of the square are conjugate partitions. In number theory and combinatorics, a… … Wikipedia
Class (set theory) — In set theory and its applications throughout mathematics, a class is a collection of sets (or sometimes other mathematical objects) which can be unambiguously defined by a property that all its members share. The precise definition of class… … Wikipedia
Lyubomir Ivanov — with a dissertation entitled Iterative Operative Spaces .Academic and NGO workApppointed head of the Department of Mathematical Logic at the Institute of Mathematics and Informatics, Bulgarian Academy of Sciences in 1990, Dr Ivanov has since… … Wikipedia
Lioubomir Ivanov — Pour les articles homonymes, voir Ivanov. Lioubomir Ivanov en 2007 Lioubomir Lalov Ivanov (еn bulgare : Любомир Лалов Иванов, tra … Wikipédia en Français
Department of Mathematical Logic (Bulgarian Academy of Sciences) — The Department of Mathematical Logic at the Bulgarian Academy of Sciences was created by the Institute of Mathematics and Informatics in implementation of Government Decree N0. 236 of November 3, 1959. Its first chairman was Boyan Petkanchin… … Wikipedia
